Proof Involving Properties of Summation Notation